51
51

Sep 14, 2019
09/19

by
Boolos, George

texts

#
eye 51

#
favorite 4

#
comment 0

xxxvi, 275 p. ; 23 cm

Topics: Modality (Logic), Proof theory

Source: removedNEL

225
225

Sep 3, 2019
09/19

by
Boolos, George

texts

#
eye 225

#
favorite 3

#
comment 0

x, 262 p. : 24 cm

Topics: Computable functions, Recursive functions, Logic, Symbolic and mathematical

75
75

Sep 3, 2019
09/19

by
Boolos, George

texts

#
eye 75

#
favorite 4

#
comment 0

x, 304 p. : 24 cm

Topics: Computable functions, Logic, Symbolic and mathematical, Recursive functions

Source: removedNEL

44
44

Aug 19, 2019
08/19

by
Boolos, George

texts

#
eye 44

#
favorite 3

#
comment 0

viii, 184 p. ; 22 cm

Topics: Modality (Logic), Proof theory

Source: removedNEL

368
368

May 20, 2019
05/19

by
Boolos, George

texts

#
eye 368

#
favorite 10

#
comment 0

xiii, 350 p. : 26 cm

Topics: Computable functions, Recursive functions, Logic, Symbolic and mathematical

Source: removedNEL

22
22

Sep 3, 2019
09/19

by
Boolos, George

texts

#
eye 22

#
favorite 1

#
comment 0

x, 285 p. ; 24 cm

Topics: Computable functions, Logic, Symbolic and mathematical, Recursive functions

Source: removedNEL